Search Results
TLA+ Debugger: Towards interactively debugging specs
The TLA+ Debugger
Interactive TLA+ - Jesse Davis and Samyukta Lanka
Debugging software designs using testable pseudo-code (Jay Parlar)
An Animation Module for TLA+ - William Schultz
Model-based testing with TLA+ and Apalache - Andrey Kupriyanov & Igor Konnov
Runway: a new tool for distributed systems design - Diego Ongaro -JOTB16
New features for projectional web editing platform, written in Elm
S-expressions for Actions with Logic Temporal - David McNeil
Igor Konnov (Informal System) - Quint Language
Shaping the Future of Java, Faster
New Ways of Using Formal Models in Industry Evening Seminar | BCS FACS SG
